用亚稳态正电子素研究络合的瞬态反应（Ⅲ）

本文用自制的装有 BaF_2探头的高探测效率的正电子湮没寿命谱仪测量了在室温下正电子素 o-Ps 与 p-RPhG 及 m-RPhG(R=NO_2,Cl,H,CH_3,cH_3O)在20%(V/V)二氧六环水溶液中的络合形成速度常数。实验结果表明,这些o-Ps-M 络合形成速度常数 K 值均与作为配位体的 p-RPhG、m-RPhG 的碱性解离常数 K 的负对数 pK_2 呈线性函数。这表明上述瞬态络合反应满足线性自由能关系,由此可推断出上述络合反应的一些重要性质。     

独立函数及其R/W谱在逻辑设计中的应用

本文提出基于独立函数的逻辑设计方法,即如何利用独立函数和它的Rademacher/Walsh谱系数进行组合逻辑设计。这是组合逻辑设计方法的另一新途径。它有利于数字系统的模块化。     

新的面向对象编程语言Ada95

介绍了Ａｄａ９５的主要面向对象特征，分析了Ａｄａ９５对面向对象模型和面向对象逻辑设计的支持。     

Study on the breakup lengths of free round liquid jets

IntroductionBreakup and atomization of roundliquidjetshad been widely used in internal combustion en-gines,gas turbines,and liquid rocket engines.Recently,with the development of scramjet en-gines and the deepening of fuel atomization re-search,it attract…     

从自动飞行到自主飞行--飞行控制与导航技术发展的转折和面临的挑战

无人机要替代有人驾驶飞机 ,在不确定性环境中执行各类任务 ,必然面临着自主控制的巨大挑战。先进飞行控制和导航技术作为最主要的支撑技术 ,目前只能适应相对结构化任务环境的要求 ,而要解决动态、不确定环境下的自主飞行控制问题尚有很大的差距。当前 ,由自动飞行到自主飞行 ,已发展到了一个大的转折点。本文将从人与机器的关系和人 -机分工及演进的角度阐述作者对这些问题的现状、发展和面临的挑战所进行的系统分析。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

利用小尺寸缺口试样测定延性材料的单轴本构关系

提出了一种利用三点弯曲试样获取延性材料本构关系的测试方法：针对小尺寸缺口试样的三点弯曲线载荷-位移曲线,采用有限元辅助测试（Finite-element-analysis aided tests,FAT）方法,迭代获得材料代表性体积单元（Representative volume element,RVE）本构关系。研究表明,两种延性材料的有限元迭代反求结果和单轴拉伸试验结果吻合较好。应用该方法,可以采用小尺寸缺口试样来获取延性材料的本构关系。     

航空发动机低压转子系统的动力学相似设计方法

提出了航空发动机转子系统动力学相似设计方法,以便采用模型替代实际结构对其动力学特性进行研究。基于转子系统的动力学等效原则,通过动力学优化方法建立全尺寸原型的相似等效模型。综合采用方程分析和量纲分析推导转子系统的动力学相似准则,并根据转子设计参数的相似关系建立相似等效模型的缩比模型。基于模型修正方法对三维设计模型的相似误差进行修正,得到预测精度较高的动力学相似模型。以双转子发动机低压转子试验模型的动力学相似设计为例,通过有限元仿真对动力学相似设计方法的有效性进行了验证。结果表明:在设计转速范围内,通过该方法得到的动力学相似模型能够有效预测全尺寸原型的临界转速和不平衡响应,前三阶临界转速的相似误差分别为3.09%、1.75%和0.31%,对应振型的相关性均大于0.93。该方法具有较高的实用价值,可为发动机整机动力学相似设计提供参考。     

基于SE模块改进Xception的动物种类识别

Xception是Inception网络的一种极端化表现,在与Inception v3参数相近的情况下,它能够达到更高的准确度。由于神经网络提取的特征不一定都是有用特征,因此以Xception为基础,将SE(Squeeze and Excitation）模块加入该网络,调整特征通道的权重,使得网络的精确度得到提高。通过实验,融合SE模块的Xception网络训练精确度分别在Oxford-IIIT Pet数据集和CUB_200_2011数据集上提升了1%~1.7%和0.8%~1%,证明了SE模块能够进一步提升Xception的精确度。将改进后的Xception应用到动物种类识别中,根据精确度曲线对实验策略调整改进,最终在测试集上获得95.63%的识别率。     

提高数字器件频率稳定度测量分辨率的研究

提出了一种利用信号时空关系测量相位差来修正差拍周期的方法,并通过实验证明了该方法的正确性和可行性。此方法在提高数字器件频率稳定度测量分辨率方面还有很大的空间,是一种很有潜力的高精度测量技术。